This module provides you with an introduction to formal languages and the structure of compilers and their main components. Gain a comprehensive understanding of syntax and semantics of basic programming languages elements; explore the regular and context-free grammars as well as the lexical and static analysis. By the end of this module you will be able to describe formal languages using BNF notation, explain the link between finite state automata and regular expressions and implement key parts of a compiler for a simple language.

This module offers you an understanding of standard IR models, of their merits and limitations, and teaches you how to design and implement a standard information retrieval system. Discover the essential foundations of information retrieval and gain solid, applicable knowledge of state-of-the-art search technology. Explore advanced concepts of search applications such as personalisation, profiling and contextual search.

Evolutionary computation is an exciting area of artificial intelligence that focuses on systematic methods (known as evolutionary algorithms) inspired by Darwinian evolution for getting computers to automatically solve problems starting from a high-level statement of what needs to be done. Evolutionary algorithms are today routinely used to solve difficult problems in industry, medicine, biology, finance, and much more. Evolutionary algorithms can even consistently solve difficult problems which require solutions in the form of computer programs. This is a form of automatic programming that is known as genetic programming. In this module you will learn how to use evolutionary algorithms and genetic programming to solve real-world problems from an international authority in these areas.

As humans we are adept in understanding the meaning of texts and conversations. We can also perform tasks such as summarize a set of documents to focus on key information, answer questions based on a text, and when bilingual, translate a text from one language into fluent text in another language. Natural Language Engineering (NLE) aims to create computer programs that perform language tasks with similar proficiency. This course provides a strong foundation to understand the fundamental problems in NLE and also equips students with the practical skills to build small-scale NLE systems. Students are introduced to three core ideas of NLE: a) gaining an understanding the core elements of language--- the structure and grammar of words, sentences and full documents, and how NLE problems are related to defining and learning such structures, b) identify the computational complexity that naturally exists in language tasks and the unique problems that humans easily solve but are incredibly hard for computers to do, and c) gain expertise in developing intelligent computing techniques which can overcome these challenges.

Interested in designing, programming and evaluating AI robots? To understand the potential applications for AI in the real world? Study different approaches to the use of AI robotics, along with associated design methodologies. Gain practical experience of building your own autonomous mobile robots and intelligent machines, from sensing to action.

Computer vision is the discipline that tries to understand the content of images and videos. It has an extraordinarily wide range of applications; well-known ones include inspection on production lines, reading number plates, mixing live and computer-generated action in movies, and recognising faces. However, researchers are working on applications such as driverless cars, building 3D models from photographs, robot navigation, gaming interfaces, and automated medical diagnosis -- in fact, whenever you as a human looks at the world and try to understand what you see is fair game for computer vision. This module introduces you to the principles of computer vision through a series of lectures and demonstrations. You have an opportunity to learn how to use these principles and algorithms on real-world vision problems in the associated laboratories using the industry-standard toolkit, OpenCV.

The world demands software systems with ever increasing richness of behaviours and degrees of complexity. However, traditional software engineering techniques, which were inherited with relatively minor adaptations from other, older branches of engineering, have been struggling to scale up to the challenges posed by modern software systems. As a result, a large proportion (as much as a quarter!) of software projects based on traditional methods end up being cancelled at some point in their lifecycle, with many more being late, over budget and with less features than initially stipulated. In this module you will learn why traditional software engineering techniques fail, and you will become very familiar (through lectures, labs, videos and a large group project) with a novel set of techniques, known as Extreme Programming and Agile Software Development, which fundamentally solve these problems. In the last decade, these techniques have been so successful that today as many as 80% of all projects adopt agile methods.

How do you configure Internet routing protocols for interconnecting WAN and LAN technologies? How suitable are WAN protocols within a modern communications infrastructure? Study the theories behind simulating and analysing network performance. Understand the fundamental principles behind contemporary network architecture and protocols, and evaluate why new protocols are created.

Embedded systems have become more pervasive and powerful to take on truly sophisticated functions in recent years. When facing with the rapid technical updating and complicated market requirements, the designers have to use advanced design techniques to deal with the complexity. In this module, you will gain the experience of full embedded system design process, and the fundamental knowledge on hardware components and real time programming. The hand-on practice helps your understanding of embedded system design process.

How do you secure networked computers and systems? What are the methods you can apply to detect, mitigate and stop attacks? Examine common network security vulnerabilities and design computer network architectures that reduce risk. Study suitable security techniques and key management skills required for encrypted communication/authentication.

Digital systems are in virtually all devices we interact with: from consumer electronics, to biomedical applications and automotive industry. Digital technology is evolving so rapidly that engineers need rapid-prototyping software and hardware tools that allow them to explore and test an implementation before moving to the production. In this module, learners will gain fundamental circuit design and verification skills by using an industry-standard hardware description language (VHDL) to program field-programmable gate arrays (FPGAs). The learning process is experience-oriented so that hands-on practice in designing embedded systems as well as theoretical background is acquired during the course.